\newcommand{\nc}{\newcommand}


\nc{\trans}[1]{{#1}^{\mathcal{T}}}  % usage: $\trans{C}$
\nc{\ftrans}{\mathcal{T}}  % usage: $\trans$
\nc{\ft}[1]{\mathcal{\varphi}({#1})}    % usage: $\ft{C}$
\nc{\ftx}[2]{\mathcal{\varphi}({#1},{#2})}    % usage: $\ft{C}{x}$
\nc{\ftxprime}[2]{\mathcal{\varphi'}({#1},{#2})}    % usage: $\ftxprime{C}{x}$
\nc{\ftxE}[2]{\mathcal{\varphi^{\exists}}({#1},{#2})}    % usage: $\ftxE{C}{x}$
\nc{\rel}{\mathcal{R}}
\nc{\relS}{\mathcal{S}}
\nc{\multileft}{ \{\!| }
\nc{\multiright}{  |\!\} }
\nc{\multi}[1]{ \multileft {#1} \multiright }
\nc{\SQL}[1]{ \langle #1 \rangle } % usage $\SQL{R}$
\nc{\cod}[1]{{\sf #1}}            % code from the algorithm mentioned in the text
\nc{\row}[1]{\lessdot #1 \gtrdot} % usage $\SQL{R}$
%\nc{\cond}[1]{\lessdot#1\gtrdot} % usage $\SQL{R}$

\documentclass{beamer}

\usepackage[english]{babel}
\usepackage[utf8]{inputenc}
\usepackage{default}
\usetheme{Madrid}

\title{ Test-Case Generation for SQL Nested Queries with Existential Conditions. }
\author{Rafael Caballero, Jose Luzón-Martín and Antonio Tenorio}
\institute{Universidad Complutense de Madrid}
\date{\today}

\begin{document}

\begin{frame}
  \titlepage
\end{frame}

\begin{frame}
 \frametitle{Index}
 \tableofcontents
\end{frame}

\section{Introduction}
\input{intro}

\section{SQL Operational Semantics}
\input{sos}

\section{Generating Constraints}
\input{constraints}

\section{Prototype}
\input{prototype}

\section{Life Demo}
\input{demo}

\section{Conclusions}
\input{conclusiones}
\end{document}